COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		I talked to Lieberman and he claims something like
C00004 ENDMK
C⊗;
	I talked to Lieberman and he claims something like
what I have just written should work.
You might check the wording with him though.

	While this research will be carried out by Dr. Manna and
graduate students, it is a part of the Artificial Intelligence
Laboratory's program in verifying computer programs initiated by
and under the direction of Professor John McCarthy.  Professor
McCarthy will exercise general supervision and will co-ordinate
the work with the other work of the Laboratory in program
correctness - in particular with the work on proof-checking, formal reasoning,
and program verification conducted with ARPA support.
This will require about two percent of McCarthy's time, although
no charges will be made to this grant, because the co-ordination
is appropriately charged to the larger effort.